COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	darpa[w87,jmc]		Notes for modifying DARPA proposal
C00004 ENDMK
C⊗;
darpa[w87,jmc]		Notes for modifying DARPA proposal

Example of non-monotonic reasoning:

An enemy weapon is presumed to have ammunition unless there is
evidence to the contrary.  Actually, the non-monotonic rule needs to
be more general: ``An enemy weapon is presumed to be operable unless
there is evidence to the contrary''.  This can allow for reasons
for inoperability that have not been thought of.

This example could be improved by relating it more directly to
the naval battle management program.

understanding the finances

modifying the proposal

Carolyn should go to Washington if needed to make Scherlis pay attention.
See if Scherlis is in a position to help with Shankar's support also,
i.e. to include interactive program verification.